Better answers to real questions
نویسندگان
چکیده
منابع مشابه
Better Answers to Real Questions
We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engin...
متن کاملEvaluating Answers to Definition Questions
This paper describes an initial evaluation of systems that answer questions seeking definitions. The results suggest that humans agree sufficiently as to what the basic concepts that should be included in the definition of a particular subject are to permit the computation of concept recall. Computing concept precision is more problematic, however. Using the length in characters of a definition...
متن کاملFinding Answers to Definition Questions
Current researches on Question Answering concern more complex questions than factoid ones. Since definition questions are investigated by many researches, how to acquire accurate answers still becomes a core problem for definition QA. Although some systems use web knowledge bases to improve answer acquisition, we propose an approach that leverage them in an effective way. After summarizing defi...
متن کاملAnswers to a congressman's questions.
1. Why am I, as a medical scientist, distressed over a small 5 to 10% cut in our budget for research? For several reasons: a) The funds allocated for extramural research and training to the National Heart Institute (as an example) were less for the year ending June 30, 1969 ($125.4 million) than they were for the year ending June 30, 1963 ($127.4 million), yet during that 6-year period the cost...
متن کاملNew Answers to Old Questions
I use cross-cultural ethnographic data to explore the relationship between male and female subsistence labor among hunter-gatherer populations by examining data regarding resource procurement, time allocation, and task differentiation between the sexes relative to dependence on hunted foods. The findings indicate that female foragers generally perform a variety of nonsubsistence collection acti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2016
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2015.07.002